Видео с ютуба Sipser Solutions 3Rd Edition

Solution to Sipser Exercise 1.10 | Theory of Computation

CSC333: Sipser Exercise 4.3

Sipser Excercise 4.2

Теоретический минимум по CS: логические вентили, булева алгебра, сумматоры. Читаем главу 1 «Основы»

Денис Юричев. SAT и SMT решатели, по своей книге "SAT/SMT by example", часть 1/3

SICP Лекция 3А: Встроенный Язык. Пример Эшера Хэндерсона.